Nonstandard Semantics for Modal Logic and the Concept of a Logically Possible World
نویسنده
چکیده
The idea that a logically possible world is identical with or can be described as a maximally consistent proposition set is a fundamental assumption of the conventional model set theoretical semantics for modal logic. Although the concept is formally unproblematic, philosophically there are serious difficulties in the standard definition of a logically possible world. I want to raise philosophical objections to the model set theoretical concept of a logically possible world, and then sketch a proposal for modal semantics that strikes at the root of the problem in order to avoid these limitations. The conflict to which I call attention has recently been discussed as a dispute between modal realism versus modal actualism. It will quickly emerge that I am a modal actualist and that I oppose modal realism.
منابع مشابه
Logically Possible Worlds and Counterpart Semantics for Modal Logic
The paper reviews the technical results from modal logic as well as their philosophical significance. It focuses on possible worlds semantics in general and on the notion of a possible world, of accessibility, and object.
متن کاملApproximate Reasoning and non-Omniscient
Modal logics have been frequently used to represent the knowledge and belief owned by an agent. However, such systems make the unrealistic assumption that agents are logically omniscent, hence capable of performing extremely complex inferences. Our goal in this paper is twofold. First of all we show that an approximation pattern can be used for a stepwise procedure which determines the satisfia...
متن کاملA Nonstandard Approach to the Logical Omniscience Problem
We introduce a new approach to dealing with the well-known logical omniscience problem in epistemic logic. Instead of taking possible worlds where each world is a model of classical propositional logic, we take possible worlds which are models of a nonstandard propositional logic we call NPL, which is somewhat related to relevance logic. This approach gives new insights into the logic of implic...
متن کاملAn Externalist Way to Avoid Logical Omniscience Without Getting Logically Ignorant
Two well-known approaches to the problem of logical omniscience, impossible-worlds semantics and awareness structures, are described. Both approaches can be used to model logically ignorant agents, but both also have drawbacks when it comes to making a distinction between knowledge and veridical belief, modelling rational agents and explaining the appropriate conditions on models to do so. An a...
متن کاملPartiality and Adjointness in Modal Logic
Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011